From knowledge-based programs to graded belief-based programs, part II: off-line reasoning
نویسندگان
چکیده
Belief-based programs generalize knowledgebased programs [Fagin et al., 1995] by allowing for incorrect beliefs, unreliable observations, and branching conditions that refer to implicit graded beliefs, such as in “while my belief about the direction to the railway station is not strong enough do ask someone”. We show how to reason off-line about the possible executions of a belief-based program, which calls for introducing second-order uncertainty in the model.
منابع مشابه
NOËL LAVERNY and JÉRÔME LANG FROM KNOWLEDGE-BASED PROGRAMS TO GRADED BELIEF-BASED PROGRAMS, PART I: ON-LINE REASONING∗
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at execution time. However, branching conditions in KBPs cannot refer to possibly erroneous beliefs or to graded belief, such as “if my belief that φ holds is high then do some action α else perform some sensing action β”...
متن کاملNOËL LAVERNY and JÉRÔME LANG FROM KNOWLEDGE-BASED PROGRAMS TO GRADED
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at execution time. However, branching conditions in KBPs cannot refer to possibly erroneous beliefs or to graded belief, such as “if my belief that φ holds is high then do some action α else perform some sensing action β”...
متن کاملContradiction: When Avoidance Equals Removal - Part II
This paper is the continuation of 1] in this volume. There we present a sceptical semantics which avoids contradiction for extended logic programs plus integrity contraints in the form of denials, based on the notion of optative hypotheses {an abductive approach. In this part we deene a program revision method for removing contradiction from contradictory programs under WFSX, based on the notio...
متن کاملImpact of Education Based on Health Belief Model in Isfahanese Housewives in Preventing H. pylori infection
Background & Objective: The educational programs and informing people related to the prevention of diseases is necessary. Due to the prevalence of Helicobacter pylori (H. pylori) infection and its association with gastric cancer, this study was carried out to determine the effect of educational interference based on Health Belief Model on health behaviors related to H. pylori prevention among h...
متن کاملRobust Belief-Based Execution of Manipulation Programs
We describe a simple approach for executing manipulation programs in the presence of significant, but bounded, uncertainty. The key idea is to maintain a belief-state (a probability distribution over world states) and to execute fixed trajectories relative to the most-likely state of the world. These world-relative trajectories, as well as the transition and observation models needed for belief...
متن کامل